Approximate Real-Time Clocks for Scheduled Events
نویسندگان
چکیده
This paper presents a simple protocol that provides application processes with an approximate real-time notion. This time notion is very versatile. At one extreme, it behaves at least as virtual time (being thereby consistent with causality). At the other extreme, it behaves as real-time. More precisely, with respect to approximate real-time all scheduled events are always executed at their scheduled time. If local computations took no time, approximate real-time would always be real-time. The system facilitates the rescheduling of events to bring real-time and approximate time closer together if local computations take too much time. A time-slotted leader election protocol using the proposed approximate time notion is described.
منابع مشابه
8 Test Derivation from Timed Automata
A real-time system is a discrete system whose state changes occur in realnumbered time [AH97]. For testing real-time systems, specification languages must be extended with constructs for expressing real-time constraints, the implementation relation must be generalized to consider the temporal dimension, and the data structures and algorithms used to generate tests must be revised to operate on ...
متن کاملRobust Fuzzy Gain-Scheduled Control of the 3-Phase IPMSM
This article presents a fuzzy robust Mixed - Sensitivity Gain - Scheduled H controller based on the Loop -Shaping methodology for a class of MIMO uncertain nonlinear Time - Varying systems. In order to design this controller, the nonlinear parameter - dependent plant is first modeled as a set of linear subsystems by Takagi and Sugeno’s (T - S) fuzzy approach. Both Loop - Shaping methodology and...
متن کاملModeling with Logical Time in Uml for Real-time Embedded System Design
Design of real-time embedded systems requires particular attention to the careful scheduling of application onto execution platform. Precise cycle allocation is often requested to obtain full communication and computation throughput. Our objective is to provide a UML profile where events, actions, and objects can be annotated by “logical” clocks. Initially, clocks are not necessarily related. T...
متن کاملThe Regular Real-Time Languages
A speciication formalism for reactive systems deenes a class of !-languages. We call a speciication formalism fully decidable if it is constructively closed under boolean operations and has a decidable satissability (nonemptiness) problem. There are two important, robust classes of !-languages that are deenable by fully decidable formalisms. The !-regular languages are deenable by nite automata...
متن کاملScheduled Review Methods for Controllable State Variables
In many real systems in which a state variable should be controlled for being in appropriate range, the length of control (review) intervals is taken to be constant. In such systems, when the cost of reviews and out-of-range values of the state variable are considerable, this method may not be optimal. In this paper we let the length of review intervals to be variable during each operating cycl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002